Dependency graph - PDFSEARCH.IO - Document Search Engine

Dependency graph
Results: 64

#	Item
21	Automated Termination Proofs with AProVE? J¨ urgen Giesl, Ren´e Thiemann, Peter Schneider-Kamp, Stephan Falke LuFG Informatik II, RWTH Aachen, Ahornstr. 55, 52074 Aachen, Germany {giesl\|thiemann\|psk}@informatik.rwth-aa Add to Reading List Source URL: www-i2.informatik.rwth-aachen.de Language: English - Date: 2006-07-26 07:36:55 Theoretical computer science Mathematics Mathematical logic Logic in computer science Rewriting Termination analysis International Conference on Rewriting Techniques and Applications Algorithm Dependency graph Path ordering Polynomial
22	graph EPC import dependency Add to Reading List Source URL: www.erec.org Language: English - Date: 2007-07-10 11:41:06
23	Concise Integer Linear Programming Formulations for Dependency Parsing ∗ Andr´e F. T. Martins∗† Noah A. Smith∗ Eric P. Xing∗ School of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15213, USA Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2009-05-19 09:57:02 Compiler construction Formal languages LL parser Dependency grammar Linear programming Parse tree Conditional random field Combinatory logic Directed graph Mathematics Graph theory Theoretical computer science
24	Journal of Artificial Intelligence Research–246 Submitted 01/05; publishedThe Fast Downward Planning System Malte Helmert Add to Reading List Source URL: jair.org Language: English - Date: 2009-08-06 19:20:12 Philosophy Epistemology Science Dependency graph Incremental computing Causality
25	Finite-Size Effects in the Dependency Networks of Free and Open-Source Software Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2014-05-30 12:15:58 Debian Degree distribution Scale-free network Complex network Flow network Dependency network Network science CheiRank Graph theory Network theory Cross-platform software
26	SUPERNOVA - A SCALABLE PARALLEL AUDIO SYNTHESIS SERVER FOR SUPERCOLLIDER Tim Blechmann ABSTRACT SuperCollider [5] is a computer music system based on Add to Reading List Source URL: tim.klingt.org Language: English - Date: 2015-04-26 07:06:20 Computer programming SuperCollider Task parallelism Instruction-level parallelism Graph drawing Topological sorting Data parallelism Multi-core processor Dependency graph Computing Graph theory Parallel computing
27	Connections Dependency Centrality from Bipartite Social Networks Luke M. Gerdes United States Military Academy West Point, New York Add to Reading List Source URL: www.insna.org Language: English - Date: 2015-01-12 10:33:16 Mathematics Structure Network analysis Social information processing Centrality Bipartite graph Social network analysis Interpersonal ties Social network Graph theory Networks Network theory
28	Journal of Artificial Intelligence Research–246 Submitted 01/05; publishedThe Fast Downward Planning System Malte Helmert Add to Reading List Source URL: www.jair.org Language: English - Date: 2009-08-06 19:20:12 Philosophy Epistemology Science Dependency graph Incremental computing Causality
29	Finite-Size Effects in the Dependency Networks of Free and Open-Source Software Add to Reading List Source URL: www.metastudio.org Language: English Debian Degree distribution Scale-free network Complex network Flow network Dependency network Network science CheiRank Graph theory Network theory Cross-platform software
30	Heading Off Correlated Failures through Independence-as-a-Service Ennan Zhai† , Ruichuan Chen§ , David Isaac Wolinsky† , Bryan Ford† † Yale University § Bell Labs / Alcatel-Lucent Abstract Add to Reading List Source URL: dedis.cs.yale.edu Language: English - Date: 2014-09-11 08:11:10 Distributed computing Fault-tolerant computer systems Cloud computing Redundancy Data center Dependency graph Database Fault tree analysis Computing Reliability engineering Concurrent computing

UPDATE